Mark options with 'option' tag in doc. Magellan tweaks.
authorrobertl <robertl>
Thu, 23 Nov 2006 17:53:09 +0000 (17:53 +0000)
committerrobertl <robertl>
Thu, 23 Nov 2006 17:53:09 +0000 (17:53 +0000)
commitdd4bfba19899ea300739342cc18c30342ea8367a
tree3bb93b4995e0a724ec0576d27299715f557ce2b8
parentd9224291783b106dcd3d5b7de7e5b0e3aae63bd9
Mark options with 'option' tag in doc.  Magellan tweaks.
xmldoc/formats/cst.xml
xmldoc/formats/magellan.xml
xmldoc/formats/magellan1.xml
xmldoc/makedoc.in